System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
521	Philips XA Family SOFTWARE DEVELOPMENT TOOLSET HIGHLIGHTS Add to Reading List Source URL: www.tasking.com Language: English - Date: 2010-12-15 10:29:10 Programming language implementation Procedural programming languages C programming language C standard library Assembly language C D Software Embedded system Computing Software engineering Computer programming
522	What’s New in Raize Components 6 Raize Components is a user interface design system for Delphi and C++Builder. At its center is a collection of more than 125 general-purpose native VCL controls. Built on a foundation o Add to Reading List Source URL: www.raize.com Language: English - Date: 2011-10-09 07:00:00 Computing Computer programming Borland Pascal Embarcadero Delphi C++Builder Component-based software engineering Object Pascal Windows Vista Software Integrated development environments Delphi programming language
523	The Next Stage of Staging Jun Inoue1 , Oleg Kiselyov2 , Yukiyoshi Kameyama3Tohoku University Add to Reading List Source URL: okmij.org Language: English - Date: 2015-03-12 05:21:23 Type theory Data types Procedural programming languages Functional languages C++ Type system ALGOL 68 OCaml C++ classes Software engineering Computing Programming language theory
524	Semantic Foundations for Typed Assembly Languages AMAL AHMED, ANDREW W. APPEL, CHRISTOPHER D. RICHARDS, KEDAR N. SWADI, GANG TAN, and DANIEL C. WANG Princeton University Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-06-25 20:03:38 Data types Type theory Object-oriented programming Model theory C++ Type safety Type system Denotational semantics Subtype polymorphism Software engineering Computing Programming language theory
525	C Programming The C Programming Language was originally created to write the UNIX operating system. It quickly turned into a multi-purpose language used by all types of programmers for a wide variety of applications. C Add to Reading List Source URL: www.batky-howell.com Language: English - Date: 2010-05-19 12:39:53 Data types Procedural programming languages C++ Primitive types Cross-platform software C Pointer Pascal Array data type Software engineering Computing Computer programming
526	Dependent Types: Easy as P IE Work-In-Progress Project Description Dimitrios Vytiniotis and Stephanie Weirich University of Pennsylvania Abstract Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:26 Type theory Data types Functional languages Formal methods Theoretical computer science Dependent type Lambda calculus Type system Generalized algebraic data type Programming language theory Software engineering Computing
527	TIP #411: Improved Channel Introspection via "chan info" _____________________________________________________________________________ TIP: 411 Title: Improved Channel Introspection via "chan info" Version: $Revision: 1. Add to Reading List Source URL: www.tcl.tk Language: English - Date: 2013-05-30 12:17:22 Tcl DICT File system Q Software engineering Computing Programming language theory
528	Advanced C Programming The C Programming Language was originally created to write the UNIX operating system. It quickly turned into a multi-purpose language used by all types of programmers for a wide variety of applica Add to Reading List Source URL: www.batky-howell.com Language: English - Date: 2010-05-19 12:39:53 Data types Procedural programming languages Primitive types C programming language C Standard Library Pointer C Reference Variable Software engineering Computing Computer programming
529	invited paper in Proc. of Hybrid Systems: Computation and Control (HSCC) LNCS 3414, Zurich, Switzerland, March 9-11, 2005 Operational Semantics of Hybrid Systems Edward A. Lee and Haiyang Zheng? Center for Hybrid and Emb Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2005-03-05 16:31:49 Models of computation Programming language semantics Logic in computer science Control theory Signal processing Denotational semantics Hybrid system Scicos Operational semantics Theoretical computer science Mathematics Applied mathematics
530	cba This is a chapter from the book System Design, Modeling, and Simulation using Ptolemy II This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License. To view a copy of this license, v Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2013-10-01 19:39:34 Boolean algebra C programming language Data types C++ Boolean data type Bitwise operation C FALSE Expression Computing Software engineering Computer programming

UPDATE